First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
141	Formalization and the Objects of Logic Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:18 Syntax Propositional calculus Predicate logic Formal languages Philosophy of language First-order logic Well-formed formula Proposition Interpretation Sequent Atomic formula Logic
142	A note on the Π02–induction rule∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe-Universit¨at, Robert-Mayer-Strasse 6–10, D–60054 Frankfurt, Germany Abstract It is well–known (due to C. Parsons) that th Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:10:40 Predicate logic Computability theory Recursion Logic Theory of computation Primitive recursive arithmetic Primitive recursive function Quantifier First-order logic Free variables and bound variables Herbrandization
143	A complexity analysis of functional interpretations 1 Mircea-Dan HERNEST a,2 and Ulrich KOHLENBACH b,3 a Laboratoire ´ Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 09:24:17 Logic Mathematical logic Proof theory Abstraction Intuitionism Constructivism Logic in computer science Model theory Dialectica interpretation Intuitionistic logic Realizability First-order logic
144	Call by Contract for Cryptographic Protocols Add to Reading List Source URL: evenmere.org Language: English - Date: 2008-06-23 13:57:19 Formal methods Logic in computer science Metalogic Automated theorem proving Logic programming Substitution Postcondition First-order logic Parameter Precondition Well-formed formula Model theory
145	Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond Simon Cruanes École polytechnique and Inria https://who.rocq.inria.fr/Simon.Cruanes/ Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-09-09 10:21:01 Mathematical logic Theoretical computer science Mathematics Automated theorem proving Logic in computer science Model theory First-order logic Mathematical proof Unification Equality
146	Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2008-09-01 05:59:33 Mathematics Mathematical analysis Mathematical logic Functions and mappings Computability theory Primitive recursive function Recursion Theory of computation First-order logic Limit of a function Peano axioms Spectral theory of ordinary differential equations
147	Bayesian Network Inference Approach to probe Foodweb interactions between herring and zooplankton in the Irish Sea Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Literate programming Functional programming Monad Haskell Inline expansion First-order logic
148	Combining Existential Rules and Description Logics 1,2 Antoine Amarilli , Michael Benedikt 1: Télécom ParisTech; Institut Mines-Télécom; CNRS LTCI; Paris, France Add to Reading List Source URL: a3nm.net Language: English - Date: 2015-07-28 20:39:18 Logic Mathematical logic Mathematics Model theory First-order logic Predicate logic Universal quantification Quasigroup
149	First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: select.cs.cmu.edu Language: English - Date: 2009-10-20 18:53:39 Logic Mathematical logic Abstraction Automated theorem proving Model theory Predicate logic Semantics Boolean algebra Resolution Cutting-plane method First-order logic Propositional calculus
150	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Proof theory Constructivism Intuitionism Metalogic Predicate logic Primitive recursive functional Realizability Substitution First-order logic Interpretation Propositional calculus Quantifier